Merge branch 'doc-fixes' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 3 Mar 2020 15:30:43 +0000 (15:30 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 3 Mar 2020 15:30:43 +0000 (15:30 +0000)
Small documentation fixes

See merge request GNOME/gtk!1500


Trivial merge